
int main() {
	int i = 9001;
    return i;
}
